CBR Support for CSP Modeling of InterOperability Testing

Diagnosing InterOperability Problems by Enhancing Constraint Satisfaction with Case-Based Reasoning

In this paper, we suggest diagnosing InterOperabil-ity Testing problems by integrating Constraint-Based and Case-Based Reasoning. We model the problem as a Constraint Satisfaction Problem (CSP), then Case-Based Reasoning (CBR) is used to compensate for what is missing in this model. CBR supports the process of learning by supplying the case-base with new cases that can be used to solve future s...

Integration of CSP and CBR to Compensate for Incompleteness and Incorrectness of Models

Modeling is very useful in many domains. A model can be very simple such as a mathematical equation, or be very complex. But, models are not always perfect and may not represent all the information about the system. In this paper, we suggest compensating for incompleteness and incorrectness of models by integrating Constraint-Based and Case-Based Reasoning. We model the problem as a Constraint ...

A Constraint Satisfaction Model for Testing Emulated LANs in ATM Networks

Emulated LANs in ATM Networks Mohammed H. Sqalli and Eugene C. Freuder Department of Computer Science University of New Hampshire Durham, NH 03824 USA msqalli,[email protected] Abstract Asynchronous Transfer Mode (ATM) is a technology that allows the integration of all types of tra c in the same network. LAN Emulation (LANE) is destined to support the existing LAN (Local Area Network) applications...

A Common Chemical, Biological & Radiological modelling capability: UK and NATO HLA-Evolved experimentation

The United Kingdom (UK) Ministry of Defence’s (MOD) Defence Science and Technology Laboratory (Dstl) have sponsored two key development activities relating to the OneSAF Computer Generated Forces (CGF) system and development of a Common Chemical, Biological and Radiological (CBR) modelling capability. The first is an interface to enable OneSAF to operate in a High Level Architecture (HLA) 1516-...

Solving InterOperability Problems Using Obje t-Oriented CSP Modeling